-
1 тип данных выражения
3.3.6 тип данных выражения (expression data type): Область, в которой должны находиться значения результата выражения.
Примечание - В настоящем стандарте контроль типа и синтез типа проводят только для схемы ISO13584_expressions_schema. Контроль типа обеспечивается структурой и правилами этой EXPRESS-схемы. Синтез типа выполняется EXPRESS-функцией TYPEOF, которая определяет, принадлежит ли объект expression к numeric_expression, Boolean_expression или string_expression, а также функцией is_int, которая определяет, относится ли значение numeric_expression к типу INTEGER.
Источник: ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа
4.25 тип данных выражения (expression data type): Область, в которой должны находиться значения результата выражения.
Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа
Русско-английский словарь нормативно-технической терминологии > тип данных выражения
-
2 запись
1) General subject: deed, enrolment, jotting, notandum, notation, note, notes, posting, record, recording, register (в журнале и т. п.), registration, subscription, transcription, appointment2) Computers: (в файл) entry, track, capture (потока данных, звука, изображения)3) Biology: tracing (регистрирующего прибора)4) Naval: logging (в журнале)5) Medicine: formula, registry registration, trace (регистрирующего прибора)7) Engineering: log, logging (показаний прибора), memory, plotting, representation (система записи чисел), tracing (самописца)8) Mathematics: listing9) Railway term: metering10) Law: astipulation, inscription, memorandum, transcript11) Economy: enrollment, entry (в список, книгу и т.п.), recordation12) Accounting: item13) Automobile industry: record (регистрирующего прибора)14) Forestry: inventory15) Polygraphy: record type, track (регистрирующего прибора), write operation16) Information technology: designation, entry, log (информации), notation (система записи чисел), record (структурная единица информации), write-in, writing process, writing18) Astronautics: writting20) Metrology: logging (например, результатов), tracing (самописца)21) Patents: logging (информации)24) SAP. view entry25) Oilfield: record registration26) Automation: booking, registration (показаний), tracing (самописцем), write (данных в ЗУ)27) Cables: entry (результат), record (результат), recording (процесс), registration (процесс), writing down (процесс)28) Makarov: W (writing), enrollment (в книге актов и т.п.), enrollment (в члены организации, в школу и т.п.), enrolment (в книге актов и т.п.), enrolment (в члены организации, в школу и т.п.), entry (напр. списка, таблицы), expression, formulation, notice, record (единица информации), record sheet, recording (информации), registering, registration (регистрационная), registry (регистрационная), storage (прибора), trace (какого-л. записывающего аппарата), tuple29) Security: entry (в системе управления доступом), entry (в журнале, таблице и т. п.), logging (событий в системе безопасности), record (данных), record keeping (сообщений)30) SAP.tech. noting down, rec.31) Electrical engineering: trace (самописца), track (самописца)
См. также в других словарях:
Algebraic data type — In computer programming, particularly functional programming and type theory, an algebraic data type (sometimes also called a variant type[1]) is a datatype each of whose values is data from other datatypes wrapped in one of the constructors of… … Wikipedia
Decimal data type — Some programming languages provide a built in (primitive) or library decimal data type to represent non repeating decimal fractions like 0.3 and 1.17 without rounding, and to do arithmetic on them. Examples are the decimal.Decimal type of Python … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… … Wikipedia
Type conversion — This article is about the computer science concept. For the aviation licensing process, see Type conversion (aviation). In computer science, type conversion, typecasting, and coercion refers to different ways of, implicitly or explicitly,… … Wikipedia
Data model — Overview of data modeling context: A data model provides the details of information to be stored, and is of primary use when the final product is the generation of computer software code for an application or the preparation of a functional… … Wikipedia
Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science … Wikipedia
Expression Templates — sind eine C++ Metaprogrammiertechnik und waren ursprünglich nicht im C++ Standard vorgesehen. Sie werden verwendet, um bereits zur Kompilierzeit bestimmte Ausdrücke durch Templatecode zu ersetzen. Todd Veldhuizen stellte diese Technik im Juni… … Deutsch Wikipedia
Type recursif — Type récursif Dans un langage de programmation, un type récursif ou type inductif est un type de données pour des valeurs qui contiennent d autres valeurs du même type. Un exemple est le type liste en Haskell : data List a = Nil | Cons a… … Wikipédia en Français
Data Format Description Language — (DFDL, often pronounced daff o dil) is a modeling language from the Open Grid Forum for describing general text and binary data. A DFDL model or schema allows any text or binary data to be read (or parsed ) from its native format and to be… … Wikipedia